Show that the Boolean \(\Rightarrow\) satsifies the requirements of a closure operator.
This boils down to the tautology that \((a \land v) \implies w\) iff \(a \implies (v \implies w)\), where the last \(\implies\) comes from \(\multimap\) and the others come from \(\leq\).